『Principles of Model Checking』
モデル検査
#文献